From 5679b9a6875b326ab49ae36c2e8a482685c0a446 Mon Sep 17 00:00:00 2001 From: Alex Monday Date: Tue, 19 Mar 2019 19:59:05 +0500 Subject: [PATCH] Adwaita: Adjust switch margins on headerbars Closes https://gitlab.gnome.org/GNOME/gtk/issues/1759 --- gtk/theme/Adwaita/_common.scss | 4 ++-- gtk/theme/Adwaita/gtk-contained-dark.css | 2 +- gtk/theme/Adwaita/gtk-contained.css | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss index dd26261c73..eb8d2e1d0a 100644 --- a/gtk/theme/Adwaita/_common.scss +++ b/gtk/theme/Adwaita/_common.scss @@ -1714,8 +1714,8 @@ headerbar { margin-bottom: 6px; } switch { - margin-top: 9px; - margin-bottom: 9px; + margin-top: 10px; + margin-bottom: 10px; } &.titlebar headerbar:not(.titlebar) { diff --git a/gtk/theme/Adwaita/gtk-contained-dark.css b/gtk/theme/Adwaita/gtk-contained-dark.css index 633f315f8a..35d5b4697b 100644 --- a/gtk/theme/Adwaita/gtk-contained-dark.css +++ b/gtk/theme/Adwaita/gtk-contained-dark.css @@ -692,7 +692,7 @@ searchbar > revealer > box { padding: 6px; border-width: 0 0 1px; } headerbar entry, headerbar spinbutton, headerbar separator:not(.sidebar), headerbar button { margin-top: 6px; margin-bottom: 6px; } -headerbar switch { margin-top: 9px; margin-bottom: 9px; } +headerbar switch { margin-top: 10px; margin-bottom: 10px; } headerbar.titlebar headerbar:not(.titlebar) { background: none; box-shadow: none; } diff --git a/gtk/theme/Adwaita/gtk-contained.css b/gtk/theme/Adwaita/gtk-contained.css index 6ff629a804..827b6b9017 100644 --- a/gtk/theme/Adwaita/gtk-contained.css +++ b/gtk/theme/Adwaita/gtk-contained.css @@ -700,7 +700,7 @@ searchbar > revealer > box { padding: 6px; border-width: 0 0 1px; } headerbar entry, headerbar spinbutton, headerbar separator:not(.sidebar), headerbar button { margin-top: 6px; margin-bottom: 6px; } -headerbar switch { margin-top: 9px; margin-bottom: 9px; } +headerbar switch { margin-top: 10px; margin-bottom: 10px; } headerbar.titlebar headerbar:not(.titlebar) { background: none; box-shadow: none; } -- 2.30.2